(define (problem strips-mysty-x-27)
   (:domain mystery-strips)
   (:objects wurst guava muffin pork onion popover scallion triumph
             love satisfaction abrasion anxiety dread loneliness grief
             boils moravia surrey guanabara manitoba arizona
             pennsylvania alsace quebec kentucky oregon bavaria goias bosnia
             mercury mars uranus earth)
   (:init (food wurst)
          (food guava)
          (food muffin)
          (food pork)
          (food onion)
          (food popover)
          (food scallion)
          (pleasure triumph)
          (pleasure love)
          (pleasure satisfaction)
          (pain abrasion)
          (pain anxiety)
          (pain dread)
          (pain loneliness)
          (pain grief)
          (pain boils)
          (province moravia)
          (province surrey)
          (province guanabara)
          (province manitoba)
          (province arizona)
          (province pennsylvania)
          (province alsace)
          (province quebec)
          (province kentucky)
          (province oregon)
          (province bavaria)
          (province goias)
          (province bosnia)
          (planet mercury)
          (planet mars)
          (planet uranus)
          (planet earth)
          (locale wurst bavaria)
          (craves abrasion wurst)
          (attacks kentucky oregon)
          (eats wurst guava)
          (eats pork muffin)
          (attacks goias bosnia)
          (eats scallion muffin)
          (locale onion bosnia)
          (craves anxiety wurst)
          (eats scallion popover)
          (craves boils scallion)
          (harmony satisfaction uranus)
          (eats muffin scallion)
          (locale scallion pennsylvania)
          (eats onion wurst)
          (eats scallion guava)
          (attacks quebec kentucky)
          (eats muffin pork)
          (craves triumph onion)
          (eats wurst onion)
          (craves dread wurst)
          (harmony love uranus)
          (attacks oregon bavaria)
          (orbits uranus earth)
          (attacks guanabara manitoba)
          (locale popover oregon)
          (harmony triumph earth)
          (attacks pennsylvania alsace)
          (orbits mercury mars)
          (locale guava oregon)
          (locale muffin guanabara)
          (attacks manitoba arizona)
          (eats muffin onion)
          (craves satisfaction scallion)
          (eats popover onion)
          (eats onion muffin)
          (eats popover scallion)
          (attacks alsace quebec)
          (eats guava scallion)
          (eats onion pork)
          (attacks bavaria goias)
          (eats guava wurst)
          (attacks surrey guanabara)
          (eats onion popover)
          (eats pork onion)
          (attacks arizona pennsylvania)
          (craves love popover)
          (craves loneliness scallion)
          (locale pork pennsylvania)
          (craves grief scallion)
          (orbits mars uranus)
          (attacks moravia surrey))
   (:goal (and (craves grief guava)
               (craves boils guava))))